ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

LNCSNearly Simultaneously Resettable Black-Box Zero Knowledge

Source URL: web.cs.ucla.edu

On Efficient Zero-Knowledge PCPs Yuval Ishai1,? , Mohammad Mahmoody2,?? , and Amit Sahai3 1 2 Technion, Israel,

Source URL: www.cs.virginia.edu

Robust Non-Interactive Zero Knowledge A LFREDO D E S ANTIS1 G IOVANNI D I C RESCENZO2 R AFAIL O STROVSKY2 G IUSEPPE P ERSIANO1 A MIT S AHAI3 1

Source URL: web.cs.ucla.edu

From Zero (Knowledge) to Bulletproofs. Version 1 Table of Contents 1 Introduction...........................................................................................................................................

Source URL: joinmarket.me

Achieving Security Despite Compromise Using Zero-knowledge Michael Backes1,2 , Martin P. Grochulla1 , C˘at˘alin Hrit¸cu1 , and Matteo Maffei1 1 Saarland University, Saarbr¨ucken, Germany 2

Source URL: www.sps.cs.uni-saarland.de

Concurrent Zero Knowledge in the Bounded Player Model V IPUL G OYAL Microsoft Research India

Source URL: web.cs.ucla.edu

Zero-knowledge proofs for Bitcoin scalability and beyond Madars Virza (based on joint works with Eli Ben-Sasson, Alessandro Chiesa, Christina Garman, Daniel Genkin, Matthew Green, Shaul Kfir, Ian Miers and Eran Tromer)

Source URL: scalingbitcoin.org

Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer∗ Yehuda Lindell Hila Zarosim

Source URL: u.cs.biu.ac.il

A PPEARED IN ICALP: Constant-Round Concurrent Non-Malleable Zero Knowledge in the Bare Public-Key Model Rafail Ostrovsky∗

Source URL: web.cs.ucla.edu